1. Abstract State Machines, Alloy, B and Z
پدیدآورنده : / gine Laleau, Steve Reevesفsser, Sarfraz Khurshid, RعMarc Frappier, Uwe Gl
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
